25459	Secure Communication in Distributed Ada
25705	Object-Oriented Programming and Protected Objects in Ada 95
25712	Fault Tolerance by Transparent Replication for Distributed Ada 95
191844	Analytical Decoupling, Decision of Compatibility and Partial Integration of Systems of Non-Linear Ordinary and Partial Differential Equations
191846	A package for the analytic investigation and exact solution of differential equations
303275	Global Biclustering of Microarray Data
449704	Programs for Applying Symmetries
566182	Vom Rechenzentrum zum Zentrum fur Informations- und Kommunikationstechnik
588138	Transparent Filtering of Streams in GLADE
818736	Optimizing GoTools' Search Heuristics using Genetic Algorithms
819252	A comparison of four approaches to the calculation of conservation laws
819253	The integration of systems of linear PDEs using conservation laws of syzygies
819254	Size reduction and partial decoupling of systems of equations
925608	Model Checking (Grundlagen und Praxiserfahrungen)
942102	Forward Pruning and Other Heuristic Search Techniques in Tsume Go
994764	The Symbolic Integration of Exact PDEs
994766	Size Reduction and Partial Decoupling of Systems of Equations
994768	The integration of systems of linear PDEs using conservation laws of syzygies
994770	Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions
1123975	Integrating object-oriented programming and protected objects in Ada 95
1139875	VIRTAB - Ein Programmsystem zur Generierung groser und reich strukturierter virtueller Tabellen und deren Aufteilung auf beschrankte Ausgabemedien
1344782	Checking Life-and Death Problems in Go.
1385543	On solving large systems of polynomial equations appearing In discrete differential geometry
1530863	Computers and Crafts: A Practical Guide
1539175	On exceptions as first-class objects in Ada 95
1546991	Transparent replication for fault tolerance in distributed Ada 95
1574861	The symbolic integration of exact PDE's
1628897	Automatic determination of dynamical symmetries of ordinary differential equations
1699194	Ein neuer Ansatz zur L&ouml;sung der Phasenentfaltungsproblematik
1701049	Ein optisches Me&szlig;system zur Echtzeitanalyse von Konturen mit der PLL-Schaltung
1702741	Ein Fuzzy geregeltes optisches Me&szlig;system zur Messung von 3D-Verformungn
1714312	Investigating DEs with CRACK and related programs
1745134	Size reduction and partial decoupling of sytems of equations
